$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. ($a$ $\div$ $n$) $\in$ $\mathbb{Z}$